Previous | 
Home
Section: New Results
Highlights of the Year
Dale Miller's 1994 LICS paper titled “A Multiple-Conclusion Meta-Logic” [67] was a co-recipient of the LICS Test of Time Award.
Overall Objectives
Research Program
Application Domains
New Results
- Highlights of the Year
- Modular Systems for Classical and Intuitionistic Logic
- Nested Sequents for Constructive Modal Logics
- Intuitionistic Logic in the Calculus of Structures
- Free Theorems for Curry
- A logical basis for quantum evolution and entanglement
- On the Pigeonhole and Related Principles in Deep Inference and Monotone Systems
- A multi-focused proof system isomorphic to expansion proofs
- Equality and fixpoints in the calculus of structures
- Automatically deriving schematic theorems for dynamic contexts
- A two-level logic approach for reasoning about typed specification languages
- Undecidability of multiplicative subexponential logic
- Meta-theoretic results on type isomorphisms in the presence of sums
- Towards proof canonicity in presence of disjunction and induction
- Interpretation of the Sigma-2-classical Axiom of Choice in System T
- Axiomatization of constraint systems for first-order reasoning modulo a theory
- Realisability models for cut-elimination in focused systems
- Refining the FPC framework
- Structuring a refinement engine using logic programming
Partnerships and Cooperations
Bibliography
Overall Objectives
Research Program
Application Domains
New Results
- Highlights of the Year
- Modular Systems for Classical and Intuitionistic Logic
- Nested Sequents for Constructive Modal Logics
- Intuitionistic Logic in the Calculus of Structures
- Free Theorems for Curry
- A logical basis for quantum evolution and entanglement
- On the Pigeonhole and Related Principles in Deep Inference and Monotone Systems
- A multi-focused proof system isomorphic to expansion proofs
- Equality and fixpoints in the calculus of structures
- Automatically deriving schematic theorems for dynamic contexts
- A two-level logic approach for reasoning about typed specification languages
- Undecidability of multiplicative subexponential logic
- Meta-theoretic results on type isomorphisms in the presence of sums
- Towards proof canonicity in presence of disjunction and induction
- Interpretation of the Sigma-2-classical Axiom of Choice in System T
- Axiomatization of constraint systems for first-order reasoning modulo a theory
- Realisability models for cut-elimination in focused systems
- Refining the FPC framework
- Structuring a refinement engine using logic programming
Partnerships and Cooperations
Bibliography